Language of mathematics - PDFSEARCH.IO - Document Search Engine

Language of mathematics
Results: 1871

#	Item
631	Faculty of Health Sciences La Trobe University Post Graduate (coursework) Learning Skills Guide Contents Add to Reading List Source URL: www.latrobe.edu.au Language: English - Date: 2014-03-17 21:32:11 Formal sciences Epistemology Function Formal language Logic Reason Causality Pronoun Information theory Mathematics Science Knowledge
632	Best Start Kindergarten Assessment: Numeracy A parent’s guide The Best Start initiative provides schools with increased support for the teaching and learning of literacy and numeracy among our youngest students. It inc Add to Reading List Source URL: www.schools.nsw.edu.au Language: English - Date: 2010-05-31 20:17:48 Numeracy Education Education reform Cognition Language education Mathematics education Knowledge Literacy
633	G5 Learnings from 10 years of LLNP Jenni Anderson, Patricia Lucas, and Charles Muggeridge, Mission Australia Mission Australia has now delivered the Language, Literacy and Numeracy Program (LLNP) in Tasmania for 10 years Add to Reading List Source URL: tcal.org.au Language: English - Date: 2012-10-23 04:04:56 Numeracy Knowledge Literacy Mathematics education
634	A COMPARATIVE ANALYSIS OF DYNAMIC NETWORK DECODING David Rybach, Ralf Schl¨uter, Hermann Ney Human Language Technology and Pattern Recognition, Computer Science Department, RWTH Aachen University, 52056 Aachen, Germany Add to Reading List Source URL: www-i6.informatik.rwth-aachen.de Language: English Finite state transducer Computer science Applied mathematics Computational linguistics Speech recognition Decoder Finite-state machine WFST Algorithm Automata theory Models of computation Theoretical computer science
635	1 Lemma 1 Ltd. c/o Interglossa 2nd Floor 31A Chain St. Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:59:09 Modal logic Philosophical logic Logic in computer science Non-classical logic Philosophy of language Accessibility relation Epistemic modal logic Propositional calculus HOL Logic Mathematical logic Mathematics
636	Zélus: A Synchronous Language with ODEs Tool Paper Timothy Bourke Marc Pouzet Add to Reading List Source URL: www.di.ens.fr Language: English - Date: 2015-03-11 04:19:54 Software engineering Visual programming languages Differential equations Models of computation Mathematical modeling Stateflow Hybrid automaton Modelica Simulink Computing Mathematics Automata theory
637	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science
638	Making Thoughts Explicit: advantages and limitations of formal expression Francis HEYLIGHEN* ABSTRACT. Testing the validity of knowledge requires formal expression of that knowledge. Formality of an Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:38 Logical syntax Semantics Philosophical logic Philosophy of language Expression Regular expression Meaning Fuzzy logic Formal proof Logic Formal languages Mathematics
639	NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland Add to Reading List Source URL: laurikari.net Language: English - Date: 2010-10-05 00:07:21 Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Finite-state machine Regular expression Deterministic automaton String searching algorithm Powerset construction Regular language Automata theory Theoretical computer science Computer science
640	1 Bilateral Correspondence Model for Words-and-Pictures Association in Multimedia-rich Microblogs ZHIYU WANG, Tsinghua University, Department of Computer Science and Technology PENG CUI, Tsinghua University, Department Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2014-03-25 11:00:05 Topic model Image retrieval Correspondence Multimedia Mathematics Artificial intelligence Statistics Statistical natural language processing Latent Dirichlet allocation Microblogging

UPDATE